/*
 * phal_timer.h
 *
 *  Created on: 22/02/2010
 *      Author: gustavo
 */

#ifndef PHAL_TIMER_H_
#define PHAL_TIMER_H_


typedef enum {
	phal_timer_TIMER0,
	phal_timer_TIMER1,
	phal_timer_TIMER2,
	phal_timer_TIMER3
} phal_timer_Id;


extern void phal_timer_init(void);
extern void phal_timer_stop(phal_timer_Id timerId);
extern void phal_timer_start(phal_timer_Id timerId);


#endif /* PHAL_TIMER_H_ */
